#include "lib_host.h"

#include "lib_host.private"

uint32_t my_malloc(uint32_t size)
{
    uint32_t ans;

    ans = (uint32_t) malloc(size);

    return ans;
}

void my_free(void* p)
{
    free(p);
}

void my_memset(void* p, uint8_t value, uint32_t size)
{
    memset(p, value, size);
}

void deadbeaf(char_t msg[])
{
    printf("\n");
    printf("################## DEADBEAF ##################\n");
    printf(" %s\n", msg);
    printf("##############################################\n");
    while (True)
    {
        ;
    }
}
